EN FR
EN FR
Overall Objectives
New Software and Platforms
Bibliography
Overall Objectives
New Software and Platforms
Bibliography


Section: New Software and Platforms

Checkers

Checkers - A proof verifier

Keywords: Proof - Certification - Verification

Functional Description

Checkers is a tool in Lambda-prolog for the certification of proofs. Checkers consists of a kernel which is based on LKF and is based on the notion of ProofCert.